inspector: Remove double borders in recorder
authorTimm Bäder <mail@baedert.org>
Fri, 21 Feb 2020 12:38:38 +0000 (13:38 +0100)
committerTimm Bäder <mail@baedert.org>
Tue, 25 Feb 2020 10:08:25 +0000 (11:08 +0100)
commitdae06d82ae44aa818ad971224be2c1a8035b9bf2
treefe95fb21ce6ab5ed65e2e6c34f04301e2327459c
parent549a3a81aedffffe57e9ec2dabf28cb55a042c5d
inspector: Remove double borders in recorder
gtk/inspector/recorder.ui